Category Theory and Computer Science: Manchester, UK, September 5-8, 1989. Proceedings: 389 (Lecture Notes in Computer Science)
by Peter Dybjer,Andrew M. Pitts,Axel Poigne,David E. Rydeheard,David H. Pitt
ISBN 13: 9783540516620
Format: Paperback (380 pages) Publisher: Springer Published: 23 Aug 1989
Save for later
Category Theory and Computer Programming: Tutorial and Workshop, Guildford, U.K., September 16 - 20, 1985. Proceedings: 240 (Lecture Notes in Computer Science, 240)
by Axel Poigne,David Rydeheard,David Pitt,Samson Abramsky
ISBN 13: 9783540171621
Format: Paperback (532 pages) Publisher: Springer Published: 13 Jun 2008
Category Theory and Computer Science: Edinburgh, UK, September 7-9, 1987. Proceedings: 283 (Lecture Notes in Computer Science)
by Axel Poigne,David E. Rydeheard,David H. Pitt
ISBN 13: 9783540185086
Format: Paperback (312 pages) Publisher: Springer Published: 13 Jun 2008
Category Theory and Computer Science: Paris, France, September 3-6, 1991. Proceedings: 530 (Lecture Notes in Computer Science, 530)
by David H. Pitt,Pierre-Louis Curien,Samson Abramsky,Andrew Pitts,Axel Poigne,David E. Rydeheard
ISBN 13: 9783540544951
Format: Illustrated (312 pages) Publisher: Springer Published: 13 Jun 2008